Nondeterministic Instance Complexity and Proof Systems with Advice

Motivated by strong Karp-Lipton collapse results in bounded arithmetic, Cook and Krajíček [1] have recently introduced the notion of propositional proof systems with advice. In this paper we investigate the following question: Given a language L , do there exist polynomially bounded proof systems with advice for L ? Depending on the complexity of the underlying language L and the amount and type of the advice used by the proof system, we obtain different characterizations for this problem. In particular, we show that the above question is tightly linked with the question whether L has small nondeterministic instance complexity

Different populations of RNA polymerase II in living mammalian cells

RNA polymerase II is responsible for transcription of most eukaryotic genes, but, despite exhaustive analysis, little is known about how it transcribes natural templates in vivo. We studied polymerase dynamics in living Chinese hamster ovary cells using an established line that expresses the largest (catalytic) subunit of the polymerase (RPB1) tagged with the green fluorescent protein (GFP). Genetic complementation has shown this tagged polymerase to be fully functional. Fluorescence loss in photobleaching (FLIP) reveals the existence of at least three kinetic populations of tagged polymerase: a large rapidly-exchanging population, a small fraction resistant to 5,6-dichloro-1-β-D-ribofuranosylbenzimidazole (DRB) but sensitive to a different inhibitor of transcription (i.e. heat shock), and a third fraction sensitive to both inhibitors. Quantitative immunoblotting shows the largest fraction to be the inactive hypophosphorylated form of the polymerase (i.e. IIA). Results are consistent with the second (DRB-insensitive but heat-shock-sensitive) fraction being bound but not engaged, while the third (sensitive to both DRB and heat shock) is the elongating hyperphosphorylated form (i.e. IIO)

Advective relief of CO2 limitation in microphytobenthos in highly productive sandy sediments

Following field observations of increased photosynthesis at increased rates of sediment flushing in sandy sediments, we conducted a series of laboratory experiments to elucidate the mechanism behind these observations. Column experiments in which water was pumped though sand at rates ranging from 0 to 613 L m−2 d−1 showed that carbon (C) fixation, as measured using carbon‐14 (14C) incorporation, increased from 6.4 to 8.6 mmol m−2 h−1 with increasing rates of flushing. Bottle incubations showed that the addition of inorganic nutrients [ammonium ion (NH4+), inorganic phosphate (HPO4−), silicic acid Si(OH)4] did not stimulate C fixation over short‐term incubations. Microprofiles of pH showed that the pH within the photic zone increased to 8.9, reducing free carbon dioxide (CO2) concentrations to ~0.5 µmol L−1. Further bottle incubations, where pH and total inorganic carbon (TCO2) were manipulated, showed that high pH (9.6) did not affect photosynthesis if free CO2 was present at concentrations of 10 µmol L−1, suggesting a direct effect of low free CO2 concentrations. 14C fixation profiles at a resolution of 100 µm recorded by b‐radiation imaging showed that while the depth specific maximum rates of C fixation were the same under both diffusive and advective (flushed) conditions, the integrated rates of photosynthesis were highest under flushed conditions because of a thickening of the photosynthetic zone. We conclude that advective pore‐water transport can enhance benthic photosynthesis in shallow permeable sand sediments by counteracting CO2 limitation

Muscle protein and glycogen responses to recovery from hypogravity and unloading by tail-cast suspension

Previous studies in this laboratory using the tail-bast hindlimb suspension model have shown that there are specific changes in protein and carbohydrate metabolism in the soleus muscle due to unloading. For example, 6 days of unloading caused a 27% decrease in mass and a 60% increase in glycogen content in the soleus muscle, while the extensor digitorum longus muscle was unaffected. Also, fresh tissue tyrosine and its in vitro release from the muscle are increased in the unloaded soleus, indicating that this condition causes a more negative protein balance. With these results in mind, studies to investigate the effect of hypogravity on protein and carbohydrate metabolism in a number of rat hindlimb muscles were carried out

Quasi-circular Orbits for Spinning Binary Black Holes

Using an effective potential method we examine binary black holes where the individual holes carry spin. We trace out sequences of quasi-circular orbits and locate the innermost stable circular orbit as a function of spin. At large separations, the sequences of quasi-circular orbits match well with post-Newtonian expansions, although a clear signature of the simplifying assumption of conformal flatness is seen. The position of the ISCO is found to be strongly dependent on the magnitude of the spin on each black hole. At close separations of the holes, the effective potential method breaks down. In all cases where an ISCO could be determined, we found that an apparent horizon encompassing both holes forms for separations well inside the ISCO. Nevertheless, we argue that the formation of a common horizon is still associated with the breakdown of the effective potential method.Comment: 13 pages, 10 figures, submitted to PR

Privacy Mining from IoT-based Smart Homes

Recently, a wide range of smart devices are deployed in a variety of environments to improve the quality of human life. One of the important IoT-based applications is smart homes for healthcare, especially for elders. IoT-based smart homes enable elders' health to be properly monitored and taken care of. However, elders' privacy might be disclosed from smart homes due to non-fully protected network communication or other reasons. To demonstrate how serious this issue is, we introduce in this paper a Privacy Mining Approach (PMA) to mine privacy from smart homes by conducting a series of deductions and analyses on sensor datasets generated by smart homes. The experimental results demonstrate that PMA is able to deduce a global sensor topology for a smart home and disclose elders' privacy in terms of their house layouts.Comment: This paper, which has 11 pages and 7 figures, has been accepted BWCCA 2018 on 13th August 201

A Search for Stellar Obscuration Events due to Dark Clouds

The recent detections of a large population of faint submillimetre sources, an excess halo gamma-ray background, and the extreme scattering events observed for extragalactic radio sources have been explained as being due to baryonic dark matter in the form of small, dark, gas clouds. In this paper we present the results of a search for the transient stellar obscurations such clouds are expected to cause. We examine the Macho project light curves of 48 x 10^6 stars toward the Galactic bulge, LMC and SMC for the presence of dark cloud extinction events. We find no evidence for the existence of a population of dark gas clouds with Av > 0.2 and masses between ~ 10^-4 and 10^-2 M_solar in the Galactic disk or halo. However, it is possible that such dark cloud populations could exist if they are clustered in regions away from the observed lines of sight.Comment: 13 pages, 9 figures, submitted to Ap